   <div class="tip">
   <p>The source code of the website is located in the
   <span class="filename">wiki/src/</span> folder.</p>
   </div>
